Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deΒ·2dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comΒ·3d
πŸ“Emacs
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgΒ·1d
πŸ•ΈοΈKnowledge Graphs
Flag this post
Creating Lisp Systems
renato.athaydes.comΒ·1dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.comΒ·15hΒ·
Discuss: r/golang
πŸ“Emacs
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.devΒ·1dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
My query languages library pivot
dev.toΒ·13hΒ·
Discuss: DEV
πŸ•ΈοΈKnowledge Graphs
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blogΒ·2dΒ·
Discuss: r/programming
πŸ“Emacs
Flag this post
100 Techniques for Writing Readable Rust Code
github.comΒ·2dΒ·
Discuss: r/rust
πŸ“Emacs
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.eduΒ·2hΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Go Generics: Use Cases and Patterns
dev.toΒ·17hΒ·
Discuss: DEV
❄NixOS
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.orgΒ·10hΒ·
Discuss: Lobsters, Hacker News, r/rust
πŸ“Emacs
Flag this post
<p>**Abstract:** This paper proposes a novel framework, CodeRefactorAI, for automated code refactoring and quality enhancement within large-scale microservice a...
freederia.comΒ·8h
βš™οΈDotfiles
Flag this post
Moves Are Broken
youtube.comΒ·9hΒ·
Discuss: r/rust
❄NixOS
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comΒ·4dΒ·
Discuss: Hacker News
❄NixOS
Flag this post
Scala vs. F#
alexn.orgΒ·4dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.devΒ·13h
βš™οΈDotfiles
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel βŠ—
lightcapai.medium.comΒ·12hΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
A new paradigm for programming: graph oriented programming
kmx.ioΒ·4hΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Fil-C
graydon2.dreamwidth.orgΒ·1dΒ·
Discuss: Lobsters, Hacker News, Hacker News, r/rust
πŸ“Emacs
Flag this post